$\forall$$x$:Top. inl($x$) $=$ true$_{2}$ $\in$ Decision